What is Algebraic about Algebraic Effects?
interjectedfuture.com·54m
💫Effect Systems
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·12h
🔍ML Language
Planarizing matchings
11011110.github.io·22h
🎨Graph Coloring
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
🧪Compiler Testing
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·1h·
Discuss: Hacker News
🎮Language Ergonomics
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🧩SAT Solvers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
A Kevin week
blog.mitrichev.ch·19h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
ECMAScript TC39 proposal-pattern-matching
github.com·3h·
Discuss: Hacker News
🎯Pattern Matching
Stop LLM Overkill: My 7-Step Reviewer/Refactor Loop
reddit.com·4h·
Discuss: r/ClaudeAI
🚀Code Motion
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·16h·
Discuss: DEV
🌊Dataflow Languages
An introduction to program synthesis
mchav.github.io·3d·
Discuss: Hacker News, r/programming
🛠️Code Synthesis
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📈Earley Parsing